You have chosen Natural Goodness, Higher-Order Logic and Higher-Order Logic.
All three must be different; choose another text.